//]]>
Unhighlight Highlight
Testing – Practice and Research Techniques by Bottaci, Leonardo. Publication: . XIII, 219p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundational and Practical Aspects of Resource Analysis by Eekelen, Marko. Publication: . 170p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Chatterjee, Krishnendu. Publication: . X, 257p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2010 - Parallel Processing by D’Ambra, Pasqua. Publication: . XXV, 544p. 222 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2010 - Parallel Processing by D’Ambra, Pasqua. Publication: . XXX, 600 p. 264 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Leavens, Gary T. Publication: . X, 217p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Braubach, Lars. Publication: . XII, 285p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Methods and Tools of Parallel Programming Multicomputers by Hsu, Ching-Hsien. Publication: . XIV, 302p. 139 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Butterfield, Andrew. Publication: . IX, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Self-Organizing Architectures by Weyns, Danny. Publication: . X, 301p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXIV, 596p. 272 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXIV, 628p. 242 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
New Modeling Concepts for Today’s Software Processes by Münch, Jürgen. Publication: . XIV, 382p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Techniques in Software Engineering by Borba, Paulo. Publication: . IX, 313p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A 25-Year Perspective on Logic Programming by Dovier, Agostino. Publication: . XIV, 329p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2010 by Strichman, Ofer. Publication: . XIII, 400p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2009 – Parallel Processing Workshops by Lin, Hai-Xiang. Publication: . XIX, 468p. 137 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Baudry, Benoît. Publication: . VIII, 155p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mechanisms for Autonomous Management of Networks and Services by Stiller, Burkhard. Publication: . XIII, 179p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Fraser, Gordon. Publication: . 174p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 Next >>
Languages: 
English |
العربية